type T = { [[foo]]?: X }
